# typed: true

def <=(other) = do_something
